home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / language / isetl.arc / quant.t < prev    next >
Text File  |  1987-08-20  |  276b  |  12 lines

  1. program quant;
  2.     if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 10
  3.     then print "correct";
  4.     else print "wrong";
  5.     end;
  6.  
  7.     if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 5
  8.     then print "wrong";
  9.     else print "correct";
  10.     end;
  11. end;
  12.